HIROIMONO Is NP-Complete
نویسنده
چکیده
In a Hiroimono puzzle, one must collect a set of stones from a square grid, moving along grid lines, picking up stones as one encounters them, and changing direction only when one picks up a stone. We show that deciding the solvability of such puzzles is NP-complete.
منابع مشابه
Tenacity and some other Parameters of Interval Graphs can be computed in polynomial time
In general, computation of graph vulnerability parameters is NP-complete. In past, some algorithms were introduced to prove that computation of toughness, scattering number, integrity and weighted integrity parameters of interval graphs are polynomial. In this paper, two different vulnerability parameters of graphs, tenacity and rupture degree are defined. In general, computing the tenacity o...
متن کاملOn the computational complexity of finding a minimal basis for the guess and determine attack
Guess-and-determine attack is one of the general attacks on stream ciphers. It is a common cryptanalysis tool for evaluating security of stream ciphers. The effectiveness of this attack is based on the number of unknown bits which will be guessed by the attacker to break the cryptosystem. In this work, we present a relation between the minimum numbers of the guessed bits and uniquely restricted...
متن کاملAutoreducibility of NP-Complete Sets
We study the polynomial-time autoreducibility of NP-complete sets and obtain separations under strong hypotheses for NP. Assuming there is a p-generic set in NP, we show the following: • For every k ≥ 2, there is a k-T-complete set for NP that is k-T autoreducible, but is not k-tt autoreducible or (k − 1)-T autoreducible. • For every k ≥ 3, there is a k-tt-complete set for NP that is k-tt autor...
متن کاملSparse Sets, Approximable Sets, and Parallel Queries to NP
We show that if an NP-complete set or a coNP-complete set is polynomial-time disjunc-tive truth-table reducible to a sparse set then FP NP jj = FP NP log]. With a similar argument we show also that if SAT is O(log n)-approximable then FP NP jj = FP NP log]. Since FP NP jj = FP NP log] implies that SAT is O(logn)-approximable BFT97], it follows from our result that the two hypotheses are equival...
متن کاملOn the Complexity of Deciding Degeneracy in Games
We show that it is NP-Complete to decide whether a bimatrix game is degenerate and it is Co-NP-Complete to decide whether a bimatrix game is nondegenerate.
متن کامل